first-order logic - English Synonyms Dictionary